🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧮 Algebraic Datatypes

Sum Types, Product Types, Pattern Matching, Type Safety

Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
⛪Church Encoding
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Compressed data structures for Heegaard splittings
arxiv.org·7h
🕳️Persistent Homology
Checking data integrity
eclecticlight.co·4h
✅Checksum Validation
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·20h
🦀Rust Verification
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·14h
🔢Bitwise Algorithms
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·19h·
Discuss: Hacker News, r/programming
🔒Type Safety
New Benchmark suite for analytical DBs using real-world SQL queries
github.com·17h·
Discuss: Hacker News
📝Database WAL
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
Parsing Safetensors File Format in C
leetarxiv.substack.com·19h·
Discuss: Substack, r/programming
✅Format Verification
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·7h
🧮Z3 Solver
Machine Code Isn't Scary
jimmyhmiller.github.io·1d
🔤Character Encoding
The Best C++ Library
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
✅Format Verification
A Deep Dive into Clustering for Customer Segmentation
dev.to·4h·
Discuss: DEV
🌊Spectral Clustering
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·17h
🎯Gradual Typing
Know Your Playground: The Essential Guide to Algorand for MEV Enthusiasts
hackernoon.com·19h
🔗Hash Chains
Loading...Loading more...
AboutBlogChangelogRoadmap